axiom of power

См. также в других словарях:

• Axiom of power set — In mathematics, the axiom of power set is one of the Zermelo Fraenkel axioms of axiomatic set theory.In the formal language of the Zermelo Fraenkel axioms, the axiom reads::forall A , exists P , forall B , [B in P iff forall C , (C in B… …   Wikipedia

• Axiom of pairing — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Frankel axioms, the …   Wikipedia

• Power set — In mathematics, given a set S , the power set (or powerset) of S , written mathcal{P}(S), P ( S ), or 2 S , is the set of all subsets of S . In axiomatic set theory (as developed e.g. in the ZFC axioms), the existence of the power set of any set… …   Wikipedia

• Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia

• Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

• Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

• Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform …   Wikipedia

• Isuzu Axiom — Infobox Automobile name = Isuzu Axiom manufacturer = Subaru Isuzu Automotive, Inc. parent company = Isuzu related = Honda Passport Isuzu Rodeo Great Wall Hover production = 2002 ndash;2004 class = Mid size SUV layout = Front engine, rear wheel… …   Wikipedia

• Balance of power in international relations — In international relations, a balance of power exists when there is parity or stability between competing forces. As a term in international law for a just equilibrium between the members of the family of nations, it expresses the doctrine… …   Wikipedia

• Principle of Least Power — In web programming, the design principle of least power states that, given a choice among computer languages, classes of which range from descriptive to procedural, the less procedural, more descriptive the language one chooses, the more one can… …   Wikipedia

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium